Metric completions of ordered groups and $K_0$ of exchange rings

State spaces of $K_0$ groups of some rings

‎Let $R$ be a ring‎ ‎with the Jacobson radical $J(R)$ and let $picolon Rto R/J(R)$ be‎ the canonical map‎. ‎Then $pi$ induces an order preserving group homomorphism‎ ‎$K_0picolon K_0(R)to K_0(R/J(R))$ and an‎ ‎affine continuous map $S(K_0pi)$ between the state space $St(R/J(R))$ and the‎ ‎state space $St(R).$‎ ‎In this paper‎, ‎we consider the natural affine map $S(K_0pi).$ We give a condition ...

Constructive completions of ordered sets, groups and fields

commuting and non -commuting graphs of finit groups

فرض کنیمg یک گروه غیر آبلی متناهی باشد . گراف جابجایی g که با نماد نمایش داده می شود ،گرافی است ساده با مجموعه رئوس که در آن دو راس با یک یال به هم وصل می شوند اگر و تنها اگر . مکمل گراف جابجایی g راگراف نا جابجایی g می نامیم.و با نماد نشان می دهیم. گرافهای جابجایی و ناجابجایی یک گروه متناهی ،اولین بار توسطاردوش1 مطرح گردید ،ولی در سالهای اخیر به طور مفصل در مورد بحث و بررسی قرار گرفتند . در ،م...

Completions of ordered magmas

We give a completion theorem for ordered magmas (i.e. ordered algebras with monotone operations) in a general form. Particular instances of this theorem are already known, and new results follow. The semantics of programming languages is the motivation of such investigations. Key wordscomplete partial orders, semantics of programming languages. Introduction. When defining recursive functions by...

Groups definable in ordered vector spaces over ordered division rings

Let M = 〈M, +, <, 0, {λ}λ∈D〉 be an ordered vector space over an ordered division ring D, and G = 〈G,⊕, eG〉 an n-dimensional group definable in M. We show that if G is definably compact and definably connected with respect to t-topology, then it is definably isomorphic to a ‘definable quotient group’ U/L, for some convex W -definable subgroup U of 〈Mn, +〉 and a lattice L of rank n. As two conseq...